1521. System simulation:programming styles & languages

پدیدآورنده:

کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)

موضوع: DIGITAL COMPUTER SIMULATION , ELECTRONIC DIGITAL COMPUTERS-PROGRAMMING , PROGRAMMING LANGUAGES

رده :
QA
76
.
9
.
C65
K74

1522. Systems Programming In Parallel Logic Languages

پدیدآورنده:

کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)

موضوع: Systems Programming (computer science),Parallel Processing (electronic computers)

رده :
QA
،
76
.
66
،.
F67
،
1990

1523. Systems programming in parallel logic languages

پدیدآورنده:

کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)

موضوع: Systems programming (Computer science),Parallel processing (Electronic computers)

رده :
QA
76
.
66
.
F67
1990

1524. Systems programming in parallel logic languages

پدیدآورنده:

کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)

موضوع: Systems programming (Computer science),Parallel processing (Electronic computers)

رده :
QA
76
.
66
.
F67
1990

1525. Systems programming in parallellogic languages

پدیدآورنده:

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه تهران (تهران)

موضوع: Systems programming (Computer science),Parallel Processing (Electronic computers)

رده :
QA
76
.
66
.
F67
1990

1526. Systems programming in sparallel logic languages

پدیدآورنده:

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)

موضوع: Systems programming (Computer science ► Parallel processing (Electronic computers)

رده :
F754s

1527. Systems software tools

پدیدآورنده:

کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)

موضوع: Programming languages )Electronic computers( , IBM personal computer - Programming , C )Computer program language(

رده :
QA
76
.
7
.
B52

1528. TAPSOFT'89 : proceedings of the International Joint conference on theory and practice of software development, Barcelona, Spain, March 13-17, 1989

پدیدآورنده:

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: Congresses ، Computer software -- Development,Congresses ، Software engineering,Congresses ، Trees )Graph theory(,Congresses ، Data structures )Computer science(,Congresses ، Computational complexity,Congresses ، Programming languages )Electronic computers(

رده :
QA
76
.
L28
Vol
.
351-352

1529. TEMPO : a unified treatment of binding time and parameter passing concepts in programming languages

پدیدآورنده:

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: ، TEMPO )Computer program language(,، Programming languages )Electronic computers(

رده :
QA
76
.
L28
Vol
.
66

1530. TEMPO : a unified treatment of binding time and parameter passing concepts in programming languages

پدیدآورنده:

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)

موضوع: ، TEMPO )Computer program language(,، Programming languages )Electronic computers(

رده :
QA
76
.
L4
v
.
66

1531. Taschenbuch fur Programmierer

پدیدآورنده:

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع: Handbooks, manuals, etc ، Programming languages )Electronic Computers(,Handbooks, manuals, etc ، Electronic digital computers-- Programming

رده :
QA
76
.
5
.
M72

1532. Ten years of concurrency semantics : selected papers of the Amsterdam Concurrency Group

پدیدآورنده:

کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)

موضوع: Parallel programming )Computer science( - Congresses , Programming languages )Electronic computers( - Semantics - Congresses

رده :
QA
76
.
642
.
T45
1992

1533. The Agent Modeling Language--AML

پدیدآورنده:

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)

موضوع: Intelligent agents (Computer software),Computer software--Development,Programming languages (Electronic computers)

رده :
QA
,
76
.
76
,.
I58
,
C47
,
2007

1534. The Art of Modelling Computational Systems :

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer security.,Programming languages (Electronic computers),Computer security.,Programming languages (Electronic computers)

رده :
QA76
.
7
.
A78
2019

1535. The C answer book :

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: C (Computer program language), Problems, exercises, etc.,Programming languages (Electronic computers)

1536. The Imperative future :principles of executable temporal logic

پدیدآورنده:

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه بیرجند (خراسان جنوبی)

موضوع: Development ، Computer software,، Programming languages )Electronic computers(,، Logic, Symbolic and mathematical

رده :
QA
76
.
76
.
D47
I47
1996

1537. The Language of computer programming in English

پدیدآورنده:

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع: ، Programming languages )Electronic computers(

رده :
QA
76
.
7
.
K44
1976

1538. The Logic of Partial Information

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer algorithms.,Computer science.,Programming languages (Electronic computers) -- Semantics.

رده :
QA76
.
7
B937
1995

1539. The McGraw-Hill Computer Handbook

پدیدآورنده:

کتابخانه: کتابخانه دانشکده تحصیلات تکمیلی محیط زیست دانشگاه تهران (تهران)

موضوع: Computers - Handbooks, manuals, etc,Programming (Electronic computers) - Handbooks, manuals, etc,Programming languages (Electronic computers) - Handbooks, manuals, etc

رده :
QA
76
.
M37
1983
R

1540. The McGraw - Hill computer hand book

پدیدآورنده:

کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (تهران)

موضوع: Computer -- Hand book, manulas, etc,Programming (Electronic computers) -- Hand books, manulas, etc,Programming languages (Electronic computers) -- Hand books, manulas, etc

رده :
QA76
.
M37
1983